#ifndef _TOYOSTYPES_H
#define _TOYOSTYPES_H
#include "config.h"
#include "bastype.h"
#include "haltypes.h"
#include "krltypes.h"
#endif
